VDict mobile



Horn logic not found. Suggestions:

Horn clause
Algebraic Logic Functional language
EQLog
LO
neutrosophic logic
EQLOG
propositional logic
predicate logic
equational logic
definite clause